Large cardinals and Dowker products Chris
نویسنده
چکیده
We prove that if there is a model of set-theory which contains no first countable, locally compact, scattered, countably paracompact space X, whose Tychonoff square is a Dowker space, then there is an inner model which contains a measurable cardinal.
منابع مشابه
Large Cardinals and Small Dowker Spaces
We prove that, if there is a model of set-theory which contains no first countable, locally compact, scattered Dowker spaces, then there is an inner model which contains a measurable cardinal. A Hausdorff space is normal if, for every pair of disjoint closed sets C and D, there is a pair of disjoint open sets, U containing C and V containing D. A (normal) space is binormal if its product with t...
متن کاملBounded Stationary Reflection
We prove that, assuming large cardinals, it is consistent that there are many singular cardinals μ such that every stationary subset of μ+ reflects but there are stationary subsets of μ+ that do not reflect at ordinals of arbitrarily high cofinality. This answers a question raised by Todd Eisworth.
متن کاملVirtual Large Cardinals
We introduce the concept of virtual large cardinals and apply it to obtain a hierarchy of new large cardinal notions between ineffable cardinals and 0#. Given a large cardinal notion A characterized by the existence of elementary embeddings j : Vα → Vβ satisfying some list of properties, we say that a cardinal is virtually A if the embeddings j : V V α → V V β exist in the generic multiverse of...
متن کاملThe large cardinals between supercompact and almost-huge
I analyze the hierarchy of large cardinals between a supercompact cardinal and an almost-huge cardinal. Many of these cardinals are defined by modifying the definition of a high-jump cardinal. A high-jump cardinal is defined as the critical point of an elementary embedding j : V → M such that M is closed under sequences of length sup{ j(f)(κ) | f : κ→ κ }. Some of the other cardinals analyzed i...
متن کاملOn equivalence relations second order definable over H(κ)
Let κ be an uncountable regular cardinal. Call an equivalence relation on functions from κ into 2 second order definable over H(κ) if there exists a second order sentence φ and a parameter P ⊆ H(κ) such that functions f and g from κ into 2 are equivalent iff the structure 〈H(κ),∈, P, f, g〉 satisfies φ. The possible numbers of equivalence classes of second order definable equivalence relations c...
متن کامل